Mathématiques Branche des mathématiques étudiant les mathématiques comme langage. Son attrait majeur est l'apport de nouvelles méthodes qu'elle fournit à d'autres branches des mathématiques en interagissant avec elles. 
]]La logique mathématique ou métamathématique est une discipline des mathématiques introduite à la fin du , qui s`est donné comme objet l`étude des mathématiques en tant que langage.